121. Computers in algebra
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Algebra-- Data processing-- Congresses
رده :
QA
155
.
7
.
E4
.
C66
1988
122. Computers in algebra and number theory
پدیدآورنده : edited by Garrett Birkhoff and Marshall Hall, Jr
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Number theory
رده :
QA
150
.
S83
1970
123. Computers in algebra and number theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Algebra-- Data processing-- Congresses,، Number theory-- Data processing-- Congresses
رده :
QA
150
.
S9
1970
124. Constructive algebra and systems theory /
پدیدآورنده : edited by Bernard Hanzon and Michiel Hazewinkel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing, Congresses.,System theory, Congresses.,Algebra-- Data processing.,System theory.
رده :
Q57
.
A532
d
.
53
125. Design and implementation of symbolic computation systems :
پدیدآورنده : John Fitch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
126. EUROCAL'87: European Conference on Computer Algebra : Leipzig, GDR, June 2-5, 1987: Proceedings
پدیدآورنده : J.H. Davenport, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
378
127. EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings
پدیدآورنده : J.H. Davenport )ed.(
موضوع : Data processing -- Congresses ، Algebra
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
128. EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings
پدیدآورنده : European Conference on Computer Algebra)7891 :Leipzig, Germany(, J.H. Davenport )ed.(
موضوع : ، Algebra- Data processing- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
129. EUROCAL'85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : Proceedings
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
203-204
130. EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
پدیدآورنده : Title
موضوع : Algebra - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
131. EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
132. EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
پدیدآورنده : edited by John Fitch
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing - Congresses ، Algebra
رده :
QA
76
.
L4
v
.
174
133. EUROSAM 84: International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Data processing Congresses ، Algebra
رده :
QA
155
.
7
.
E4
.
I57
1984
134. EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
پدیدآورنده : edited by John Fitch
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
174
135. Exploring the early digital /
پدیدآورنده : Thomas Haigh, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
136. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
137. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
138. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
139. From combinatorics to dynamical systems
پدیدآورنده : / editors F. Fauvet, C. Mitschi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra , Data processing , Congresses
رده :
E-BOOK
140. From combinatorics to dynamical systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra ; Data processing ; Congresses. ;
